$\forall$$M_{1}$, $M_{2}$:MsgA, $k$:Knd. $M_{1}$ $\subseteq$ $M_{2}$ $\Rightarrow$ $M_{2}$.da($k$) $\subseteq\rho$ $M_{1}$.da($k$)